Coordinating Durative Actions(*)

نویسنده

  • I. Nunes
چکیده

A computing paradigm is presented for coordinating the execution of durative actions, i.e. actions which, although executed atomically on a private local state, have a duration in the sense that the system state in which they finish executing is not necessarily the same in which they started. Just as in traditional coordination languages, the coordination model that is responsible for controlling the interference between the actions is independent from the computation model in which actions execute. This coordination model is formalised through an operational and a denotational semantics, both parameterised by those of the underlying computational model.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Case for Durative Actions: A Commentary on PDDL2.1

The addition of durative actions to PDDL2.1 sparked some controversy. Fox and Long argued that actions should be considered as instantaneous, but can start and stop processes. Ultimately, a limited notion of durative actions was incorporated into the language. I argue that this notion is still impoverished, and that the underlying philosophical position of regarding durative actions as being a ...

متن کامل

A Flexible Constraint Model for Validating Plans with Durative Actions

Planning problems with durative actions represent one of the hot research topics in the area of AI planning. Because durative actions introduce numerical aspects to planning, constraint satisfaction technology is becoming more popular in solving this new type of planning problems. The paper describes a constraint programming approach for validating and finishing partially ordered plans with dur...

متن کامل

Stochastic Planning with Concurrent, Durative Actions

Stochastic Planning with Concurrent, Durative Actions

متن کامل

Towards a Modal Logic of Durative Actions

This paper proposes an extension of modal action logics, which typically make the assumption that an action is atomic, to include durative actions. These logics have been developed to support the formal speci cation of information systems: we argue, with particular reference to object oriented systems, that assuming atomicity is too restrictive to express many kinds of temporal constraint. In c...

متن کامل

A Temporal Planning System for Durative Actions of PDDL2.1

Many planning domains have temporal features that can be expressed as durations associated with actions. Unfortunately, the conservative model of actions of most temporal planners is not appropriate for some domains which require more expressive models. Level 3 of PDDL2.1 introduces a model of durative actions which includes local conditions and effects to be satisfied at different times during...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007